unfinished randDom method into Solver