💭 via llms and stuff, could you take a picture of a puzzle and its rules and have it automatically converted into a sat solver friendly form and solved, for any arbitrary puzzle?