score(1) <= i64
