score(1) <= i32
