9.73/10.96	unsat
