Title: Four Realistic SAT Tests