24.61/34.22	unsat
