move to src folder, use temporary files for minisat