2 SAT 2 FRIVOLOUS vs PSGCE