New constants.
SatMapReduceHelper with the algoritm to save subproblems to be split among mappers.
SatReader
DistributedCache reader.