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