TSTP Solution File: ARI646_1 by Refute---2015