Hard Quadratic Problems Sat