#! /usr/bin/env python

MAX_l=3
MAX_m=11

notSat='In all logs "Property is satisfied."'

for l in range(1,MAX_l+1):
  for m in range(1,MAX_m+1):
    f=open('ZCfeasible34_l=' + str(l) + 'm=' + str(m) + '.log')
    line = f.read()
    satMes = 'Property is satisfied.'
    if line.find(satMes) == -1:
      notSat = line

print(notSat)