47.71/47.85	unsat
