TSTP Solution File: ALG054+1 by Nitpick---2016