added infrastructure for th3 pairwise test
fixed number of clauses in sqlite.dimacs (SPLCATool takes this serious)