18.58/18.69	unsat
