A reasoning engine that combines structured search with probabilistic planning to solve engineering and scientific problems where large language models struggle