18.42/18.52	unsat
