warts.sat