2706.sat