9.48/9.72	unsat
