TSTP Solution File: ALG292^5 by Nitpick---2016