6.98/8.50	unsat
