24.75/25.45	unsat
