6.46/9.63	unsat
