k map solver with steps - Search