A protein with an isoelectric point of 9 will have a net positive
charge at pH 7-8. If anything, it will float out of the top of the
well. You need to change to a buffer with a pH above the pI in order
to impart a net negative charge.