Fix Problem::con_ub