N6.258trn budget deficit