Clever solver