6.70/10.63	unsat
