C_max before boolean variables