9.68/16.93	unsat
