n
e
w
e
x
a
m
p
l
e
s
h
o
w
s
o
l
u
t
i
o
n
x
(
A
+
5
B
)
+
y
(
1
0
B
+
C
)
z
(
2
A
+
6
0
B
+
5
C
)
x
2
∧
y
5
∧
z
1