不覚にもコンテスト中はPythonを提出してしまったので後からsedで書き直した。

implementation

#!/bin/sed -f
:
s/$/-/
s/25//g
/25/b
/\w/c-1
s/^/0/
:1
s/-/<<123456789-01>/
s/\(.\)<.*\1\(-*.\).*>/\2/
t1
#!/usr/bin/env python3
def solve(s):
    dp = [ 0, 0 ]
    for c in s:
        if c == '2':
            if dp[0] != 0:
                dp[0] -= 1
            dp[1] += 1
        else:
            assert c == '5'
            if dp[1] == 0:
                return -1
            dp[1] -= 1
            dp[0] += 1
    if dp[1] != 0:
        return -1
    return dp[0]
print(solve(input()))