Adding the cpp file for sat solver