9.17/9.63	unsat
