from random import randint
crates = 0
for i in range(1000):
items = [0] * 1134
while 0 in items:
crates += 1
items[randint(0,1133)] += 1
items[randint(0,1133)] += 1
items[randint(0,1133)] += 1
items[randint(0,1133)] += 1
print(crates/1000)
ZnJvbSByYW5kb20gaW1wb3J0IHJhbmRpbnQKCmNyYXRlcyA9IDAKZm9yIGkgaW4gcmFuZ2UoMTAwMCk6CglpdGVtcyA9IFswXSAqIDExMzQKCXdoaWxlIDAgaW4gaXRlbXM6CgkJY3JhdGVzICs9IDEKCQlpdGVtc1tyYW5kaW50KDAsMTEzMyldICs9IDEKCQlpdGVtc1tyYW5kaW50KDAsMTEzMyldICs9IDEKCQlpdGVtc1tyYW5kaW50KDAsMTEzMyldICs9IDEKCQlpdGVtc1tyYW5kaW50KDAsMTEzMyldICs9IDEKcHJpbnQoY3JhdGVzLzEwMDAp