SAT assignment