DMSAT worker solver 1.0