twosat.cpp (2)