24.61/24.65	unsat
