The proof that the set of clauses

resolution $02\_01.$JPG

is unsatisfiable is given below. Clauses in Steps $7$ through $11$ were obtained using the resolution rule. For each clause in Steps $7$ through $11,$ please select the number of the clause that was used to obtain it$.$

resolution $02\_02.$JPG

$(7)$: $(1)$ and

$[$ Select $]$

$(8)$: $(3)$ and

$[$ Select $]$

$(9)$: $(4)$ and

$[$ Select $]$

$(10)$: $(5)$ and

$[$ Select $]$

$(11)$: $(9)$ and

$[$ Select $]$