Assertion: puzzle's solution | /r/HasProperty | generated
Facets:
Source sentences:
text: The solution is unique, having been generated and checked by a computer.