7.97/9.89	unsat
