9.06/10.71	unsat
