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