47.80/47.98	unsat
