I vote 1. as it reduces the chance that the exchanges will do this again in the future. Although, they could just vote again now (in a couple of weeks to give Sun a chance to code a hardfork) and reduce the powerdown to allow themselves to get out. But once our witnesses regain consensus we need to fork to stop the exchanges from doing this again, if possible.