Add SETS to eliminate the duplicate entries in the Solver