38.72/39.64	unsat
