5.9 is solved