19.39/23.75	unsat
