8.68/10.63	unsat
