pub const PT_INVALID: PROBLEM_TYPE;