Hatnix mentioned it today, very cool! I didn't come around to trying it yet.
I did construct a possibly unsolvable one by slightly modifying the unsolvable one (we had something similar to yours: https://ibb.co/6XDt3bx). Essentially what I did was exchange the two ones in the corners. We manually got it down to two tokens but not solve it yet.
Viewing post in BOXit jam comments
Unless I messed up the board input, swapping the two ones in the corners makes that board solvable: https://ibb.co/wKTcHdp :)