Hardest Geometry Problems Sat