add TwoSat