9971 pounds and 7 ounces = 712.2455 stones