47.53/47.98	unsat
