6.18/6.20	unsat
