TSTP Solution File: SEU604^1 by Refute---2015