970.23/973.14	unsat
