Create conjecture.txt