6.98/7.42	unsat
