Wrong results
P4 Actually use the correct problem bound...