10.37/12.72	unsat
