TSTP Solution File: SEU230+1 by Refute---2015