9.87/10.63	unsat
