assignment_sat.cc 3.11 KB