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