finish.sat