8.73/10.93	unsat
