hvincent 83ad8f49a8 works on example, not on input 1 anno fa
..
solver.py 83ad8f49a8 works on example, not on input 1 anno fa