So let's take a look at, this example. so our, whatever SAT problem we have, we put it in this form. and now, we're gonna introduce a variable, C1. and, for every, literal in the SAT problem. we're gonna, put C1 greater than or = to, either the literal, if it's not negated. 