TSTP Solution File: SWC261+1 by Gandalf---c-2.6