SAT-HD-REGIONAL-TOTALMAX-SAT