6.18/9.28	unsat
