48.46/51.19	unsat
