Cuanto es 712 pies cúbicos en galones?