6.11/6.20	unsat
