Working sequential SAT solver
Added benchmark source doc file
Implemented coherent benchmark process
Added unsat test sets