6.18/6.22	unsat
