1: Random 3CNF formulas elude the Lovasz theta function 2: Convex Separation from Optimization via Heuristics