6.97/7.08	unsat
