24.61/25.67	unsat
