53SATp3OCC3SAT3OCC3SATEachvariableappearsatmost3timeseachliteralatmosttwiceSupposevariablexiappearsk1timesinthe3SATinstanceReplaceeachoccurrenceofxibyanewvariablexijfor1jkAddknewclause ID: 152235
5.3SATp3-OCC-3SAT3-OCC-3SAT:Eachvariableappearsatmost3times