rosalindalgo 2SAT (fake)