'SOL
M>G~H: N>E~F:
H: Pf: A>C:
E: Pf: A>D:
CDò0}01:
L1:
F=G}G0: F>G:
H-C(H-E)ö(C-D):
A>F: Pf:
DA<0}G2:
F>E: A>D:
G1:
L2:
F>H: A>C:
L0: F