47.37/47.98	unsat
