Create TwoSAT.cpp