Planning 56 sprints per second with SAT4J | Hacker News Reader