aabb.sat