It is known that (25/48)

It is known that