4084.sat