main menu starts solver now