974.03/975.96	unsat
