Title: SAT in a Box