Satisfying soa and slime