They should use a few of the sats and do an api call to ppq.ai or routstr and ask if the guess is equivalent enough to the correct answer, and if so, pay out, if no, mark it as wrong.