6.20/9.16	unsat
