Random MAX SAT, random MAX CUT, and their phase transitionsDon CoppersmithDavid Gamarniket al.1998SODA 1998