2-SAT added. Works on gepwnage problem 240 idol