\boxed{10.25}