dumb.sat