967.84/971.08	unsat
