rough deep satisfying in Models