Pick the newest file.

For browsing, see: https://sat-smt.codes/current_tree/

To clone the latest: git clone https://sat-smt.codes/git/