Add level 4: out of memory in 6 minutes :-(
Add level 5: Non-exhaustive patterns in function solve after 5 minutes :-(
Add test for bug of isSolved