Bug fix in SAT, remove printing