Fix the long-standing problem that putting app to the background would not stop the 'solving' counter.
Fix the long-standing problem that putting app to the background would not stop the 'solving' counter.