mfdela to dewdney-ita

[AOC Day 10] La parte 1 facile. Per la parte 2 ho dovuto sbirciare. Ho implementato BFS che ovviamente era troppo lenta, brew install z3 e passa la paura (per scrivere il codice di imput di z3, confesso ho usato claude).