But current SAT solvers aren't powerful enough to do so at much more than a few tens of instructions long. Still useful though.