6.97/7.26	unsat
