Example: loading a problem