small bugfix (tt_rand in solve)