973.35/976.15	unsat
