2682.sat
2682.sat