42:56
LTL3