8.73/10.07	unsat
