TSTP Solution File: SYN009-4 by SRASS---0.1