2**56/10