6.37/8.22	unsat
