March 26 update: solver now runs in the background, pre-checking a couple of games

March 28 update: fixed bug when 2 unsolvable games in a row were pre-checked