24.67/25.79	unsat
