Complexity Results for Sas+ Planning | Synapse