6.18/9.10	unsat
