Example Sat Problems