9.02/10.96	unsat
