out.txt is useless