Solver for map1