51.78/51.89	unsat
