TSTP Solution File: BOO042-1 by SRASS---0.1