RulePartial Assignment(1)(2)(3)(4)
Initial||||
Pure Literal |||✅
Branch ✅✅
 Conflict✅❌❌✅
Backtrack ✅✅✅
 Unit Clause ✅✅✅✅

Hence satisfying assignment is .