24.47/24.53	unsat
