The command-line solver's difficulty gradings now use the same