[math-fun] Solvable, irreducible quintic trinomials