0 / 60 seg.

And it is now translating the original problems into machine-readable formulas.