2sat asgn 6