MK1.3 trillion revised budget