8.00/9.93	unsat
