47.35/47.80	unsat
