Create 2 SAT.cpp