Modified the loop run to find the random seed from the same line as the SAT command.