smaller example that can be solved