convex property holds
Test Code + Input