1-SAT

GPTKB entity