7.24/8.63	unsat
