Anything but Sol is not sufficient for complex (or even just large) enough code.