add two_sat solution and tests