6.70/9.22	unsat
