9.27/10.18	unsat
