6.49/8.22	unsat
