TSTP Solution File: ARI364_1 by Refute---2015