PHP frontend for SAT