TSTP Solution File: SYO249^5 by CARINE---0.734