6.97/7.37	unsat
