Why do solvers mix their strategies instead of always taking the same action?