24.35/24.42	unsat
