The top documents tagged [conjecturing solving1]