boring.sat