Small change to ExactSolver.java.
Added *.dat files to the .gitignore file.