TSTP Solution File: SEU569^2 by Refute---2015