24.47/24.58	unsat
