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

Hence satisfying assignment is .