El barril del crudo en ese momento estaba a 13,92 dólares.