I
n
[
]
:
=
M
i
n
i
m
i
z
e
[
{
z
,
x
/
(
1
+
y
)
<
=
z
,
(
1
-
y
)
/
x
<
=
z
,
y
-
z
<
=
z
,
0
<
=
x
<
=
1
,
0
<
=
y
<
=
1
}
,
{
x
,
y
,
z
}
]
O
u
t
[
]
=
0
.
3
7
6
…
,
x
0
.
6
5
9
…
,
y
0
.
7
5
2
…
,
z
0
.
3
7
6
…
