Comment by gf000

From another comment:

> 10^87 variables, a point where the proposed new method surpasses the already existing sat solvers

Yeah, it's not efficient in the ordinary sense.