47.62/47.77	unsat
