6.98/8.58	unsat
