shut down solver in setup, might be causing some back to menu woes