10.36/12.20	unsat
