the solver probably doesn't work, it can't solve complicated sudokus (or maybe it can but it just takes forever) I push this here anyway