Minor planet provisional designation