9.30/10.72	unsat
