47.39/47.87	unsat
