6.27/10.18	unsat
