8.73/10.22	unsat
