TSTP Solution File: SEU230+3 by Gandalf---c-2.6