zmpz1brat88ls - execution time: 1.985 sec.