skip-satisfied