On linear systems of P3 with nine base points