Result saved to result.txt