Serre's conjecture over F9