9.06/10.93	unsat
