glue.sat