970.41/971.65	unsat
