the simplest SATISFIED case