SAT (simulated)

GPTKB entity