reified_sample_sat.cc 1.3 KB