spec sol for Ex3