Added new 2-sat problem