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