7.68/8.50	unsat
