Test suite for SAT solvers

I’m looking for a collection of SAT problems that are usable for a test suite, i.e.:

  1. are small/easy to solve, that is, this is not a benchmark but a correctness test suite
  2. some satisfiable, some unsatisfiable
  3. answer and a possible assignment (for sat. ones) is known

All I find online are collections of benchmarks but heavy formulas are not what I need.

Any link?