Delete POLYSAT