6.98/8.96	unsat
