940.86/947.63	unsat
