2-sat review