not-satisfied 1 /