Mining for solutions