resolution of #93 for Machiavelli (3502) but not 2596