SMS versenden: Distributed Binary Optimization with In-Memory Computing: An Application for the SAT Problem