9.06/10.70	unsat
