On linear systems of ℙ³ with nine base points