satisfies

1