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