43.42/47.19	unsat
