7.48/8.68	unsat
