975.07/976.22	unsat
