6.97/7.44	unsat
