TSTP Solution File: SYN960+1 by Faust---1.0