Hard-code for problem wmCz8-xxx-HLL