Updated .gitignore
IOified gen3sat
Made working for all sat matrices, benchmarks for sat vs unsat
Added separate unsat benchmark.