24.91/25.25	unsat
