a command to print all solutions