6.98/7.22	unsat
