todo updated
bugfix in printing solutions