added solver example