2CNF view 1