9.36/10.82	unsat
