New: colorchallenge-sat