satisfiat