6.07/6.22	unsat
