24.14/25.77	unsat
