Hard Quadratic Equations Sat