Cracking the SAT

GPTKB entity