$ a.out 5 16 1710961223
seed is 1710961223

     (! A || ! E || ! B)
  && (! A || E || C)
  && (C || ! A || E)
  && (! E || D || ! A)
  && (D || ! E || C)
  && (! C || B || ! A)
  && (! C || A || E)
  && (! C || B || E)
  && (B || C || E)
  && (A || ! C || B)
  && (! B || ! D || ! A)
  && (C || A || B)
  && (! E || ! C || B)
  && (! C || D || ! B)
  && (! E || C || ! B)
  && (! D || ! A || E)

Can it be solved?
     T F F T T
     F T T T T
     F T F T F
     F T F F F
Yes, it can be solved

Can it be solved with A set to true?
     T F F T T
Yes it can, so set A to true
     (! E || ! B)
  && (E || C)
  && (C || E)
  && (! E || D)
  && (D || ! E || C)
  && (! C || B)
  && (! C || B || E)
  && (B || C || E)
  && (! B || ! D)
  && (! E || ! C || B)
  && (! C || D || ! B)
  && (! E || C || ! B)
  && (! D || E)

Can it be solved with B set to true?
No it can't, so set B to false
     (E || C)
  && (C || E)
  && (! E || D)
  && (D || ! E || C)
  && (! C)
  && (! C || E)
  && (C || E)
  && (! E || ! C)
  && (! D || E)

Can it be solved with C set to true?
No it can't, so set C to false
     (E)
  && (E)
  && (! E || D)
  && (D || ! E)
  && (E)
  && (! D || E)

Can it be solved with D set to true?
     T F F T T
Yes it can, so set D to true
     (E)
  && (E)
  && (E)
  && (E)

Can it be solved with E set to true?
     T F F T T
Yes it can, so set E to true