now have a heuristic solver for the larger domain. Need to write a heuristic improved version