Removed sat-p