TSTP Solution File: SYN036+2 by CARINE---0.734