score(1) < i64
