Desmos Hacks for the SAT