a)
; b)
; c) kaikki ratkaisut toteuttavat; d) mikään ratkaisu ei toteuta.