New problem instances for testing.
Added one loop condition.