Create 1261 - K-SAT Problem.cpp