% Picat version of https://open.kattis.com/problems/smil
import util.

main ?=>
  read_line() = Line,
  X=":-):);-):)",
  member(S,[":)",";)",":-)",";-)"]),
  find(Line,S,From,To),
  println((From-1)),
  fail.

main => true.