How would one hard code SAT cases? Just curious I've got the general code working now.