4068.sat
4068.sat