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