making 3SAT-constraint2 more reliable
more generic tests for WECs