SOAP COMPILATION SATISFYING