. The day after a national holiday, decorations were marked down 40%. Before the
holiday, a poster cost $5.75. How much did the poster cost after the holiday?