FSI - Ramificación y acotación con subestimación