6.08/6.22	unsat
