24.61/25.74	unsat
