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