982.27/986.30	unsat
