Fix 13th problem's constraint.