TIMEOUT
MAYBE
Trs:
 {f s s -> s f f,
      f -> s}
 Open