satisfiatis