Symbol: solverflags2str