Fix typo.
Print human readable description.
Use dummy solver.