Game of Life still life searcher in Mathematica

StillLife.m

SearchStillLife[w_, h_] := 
 Block[{r = RandomInteger[1, {w, h}]}, 
  ArrayPlot[
     Echo[Mod[r + ArrayReshape[Boole@#, {w, h}], 2], "RLE: ", 
      "x = " <> #2 <> ", y = " <> #1 <> ", rule = B3/S23\n" & @@ 
         ToString /@ Dimensions@# <> 
        StringRiffle[
         StringCases[
          StringReplace[
           StringReplace[
            Riffle[# /. {1 -> "o", 0 -> "b"}, "$"] <> "!", 
            "b" .. ~~ s : "$" | "!" :> s], 
           r : (x_) .. /; StringLength@r > 1 :> 
            ToString@StringLength@r <> x], 
          l : (___ ~~ "o" | "b" | "$" | "!") /; StringLength@l <= 70],
          "\n"] &], Mesh -> All] &@
   SatisfiabilityInstances[
     Array[BooleanConvert[(! b[##] && ! 
             BooleanCountingFunction[{{3}}, 
              Flatten@Array[b, {3, 3}, {##} - 1]~Delete~
               5]) || (b[##] && 
            BooleanCountingFunction[{{2, 3}}, 
             Flatten@Array[b, {3, 3}, {##} - 1]~Delete~5]) /. {b[i_, 
             j_] /; i < 1 || i > w || j < 1 || j > h :> False, 
          b[i_, j_] /; r[[i, j]] == 1 :> ! b[i, j]}, "CNF"] &, {w, 
        h} + 2, 0, And], Flatten@Array[b, {w, h}]][[1]]]