bench.sat