6.97/7.40	unsat
