c test file for semantic algorithm
p cnf 3 2
1 3 0
2 3 1 0