Verify presence of example solution. Fixes #1.