10.63/10.72	unsat
