SNARK proves 1.6.12!