Planar SAT

GPTKB entity