24.49/25.84	unsat
