1.28/7.36	unsat
