24.86/25.18	unsat
