6.17/6.22	unsat
