9.18/9.52	unsat
