Text this: A Model for the Formation of Beliefs and Social Norms Based on the Satisfaction Problem (SAT)