9993 pounds and 7 ounces = 713.817 stones