to compile the file
g++ Main.C -o sbp4qbf

to execute the file 

./sbp4qbf instance.cnf instance.cnf.sym