TSTP Solution File: ALG201+1 by Refute---2015