967.97/971.20	unsat
