$SOL is very hard...