not redundant after all! all solutions printed and saved.