7.71/8.63	unsat
