KREC and SAT