added lots of 2sat test data