literal_sample_sat.cc 1018 Bytes