Added modified MiniSAT to the git repository