24.62/25.38	unsat
