24.41/24.52	unsat
