969.74/971.00	unsat
