About clause results of 539
19:03 03:41 02:43 03:29 00:39 10:30 08:56 10:19 33:35 03:33 06:13 10:30 16:32 09:05 08:35 06:56 07:32 04:26 04:12 09:38 07:36 09:34 06:33 04:22 31:35 01:00 01:03 01:03 01:19 04:54 04:34 07:25 03:32 00:59 07:00 01:01 01:07 07:53 01:00 03:30 07:04 10:00 09:53 01:56 01:56 02:01