add SAT instances