p cnf 10 1
1 2 3 0
c max 1 0
c ind 2 3 0