i64 < score(1) * i64
