I
n
[
]
:
=
O
u
t
[
]
=
c
o
n
s
t
r
a
i
n
t
s
e
t
s
i
z
e
:
5
6
9
3
7
5
k
n
o
w
n
p
r
o
b
l
e
m
c
l
u
e
s
:
1
4
6
