The tests and version number do not tally with the problem-specifications repository. Let’s update them.