Improve pocman upper bound