Cleaned DMSAT 1.0.0.1 with remote clause sahring