twosat.cpp